Function type

Results: 893



#Item
21Algebra / Mathematics / Computing / Search algorithms / Data types / Vectors / Hashing / Error detection and correction / Hash function / Association list / Abstract data type / Hash table

Microsoft PowerPoint - Lect12advanced_data.ppt

Add to Reading List

Source URL: sicp.csail.mit.edu

Language: English - Date: 2005-10-17 09:39:31
22Computability theory / Theoretical computer science / Mathematical logic / Theory of computation / Models of computation / Formal methods / Logic in computer science / Lambda calculus / Recursively enumerable set / -recursive function / Denotational semantics / Numbering

Types and Type-Free λ-Calculus Dana S. Scott, FBA, FNAS University Professor Emeritus Carnegie Mellon University Visiting Scholar

Add to Reading List

Source URL: www1.maths.leeds.ac.uk

Language: English - Date: 2016-06-16 11:50:12
23Mathematical analysis / Mathematics / Functional analysis / Monotonic function / Order theory / Real analysis / Computational fluid dynamics / Quantum field theory

Introduction to numerical methods for hyperbolic conservation laws: FORCE-type schemes Eleuterio Toro Laboratory of Applied Mathematics University of Trento, Italy

Add to Reading List

Source URL: www.prague-sum.com

Language: English - Date: 2014-02-21 08:57:16
24Computing / Data types / Primitive types / Character encoding / String / Value / Null / Hash function / Lightweight Directory Access Protocol / Boolean data type

KEK GRID CA Certificate and CRL Profile VerJanuary 9, 2014

Add to Reading List

Source URL: gridca.kek.jp

Language: English - Date: 2013-12-17 04:24:57
25Software engineering / Computer programming / Declarative programming / Type theory / Data types / Functional programming / Higher-order functions / Object-oriented programming / Subtyping / Fold / Map / Function

Nordic Journal of Computing ON INTRODUCING HIGHER ORDER FUNCTIONS IN ABEL BJØRN KRISTOFFERSEN Department of Mathemathics and Informatics

Add to Reading List

Source URL: www.olejohandahl.info

Language: English - Date: 2013-09-23 13:44:35
26Mathematical analysis / Mathematics / Algebra / Fourier analysis / Convolution / Fourier transform / Multiplier / Fredholm operator / HardyLittlewood maximal function / Lp space / Ring / Singular integral operators of convolution type

On the kernels of Wiener-Hopf-Hankel operators on variable exponent Lebesgue spaces1 L.P. Castro†,⋆ , A.S. Silva† † CIDMA – Center for Research and Development in Mathematics and Applications,

Add to Reading List

Source URL: sweet.ua.pt

Language: English - Date: 2016-02-14 13:47:41
27Software engineering / Programming language theory / Computer programming / Procedural programming languages / Functional languages / C / ALGOL 68 / INT / ML / Ordinal date / Struct / Higher-order function

CSE 341, Winter 2013, Assignment 1 Due: Wednesday January 16, 11:00PM You will write 11 SML functions (and tests for them) related to calendar dates. In all problems, a “date” is an SML value of type int*int*int, whe

Add to Reading List

Source URL: courses.cs.washington.edu

Language: English - Date: 2013-01-11 23:17:39
28Computing / Data types / Primitive types / Character encoding / String / Null / Lightweight Directory Access Protocol / Value / Hash function / Boolean data type

KEK GRID CA Certificate and CRL Profile VerMarch 4, 2015

Add to Reading List

Source URL: gridca.kek.jp

Language: English - Date: 2015-03-02 02:37:53
29Software engineering / Type theory / Computing / Computer programming / Data types / Recursion / Polymorphism / Recursive data type / Eval / Type inference / Type system / ECL programming language

Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper

Add to Reading List

Source URL: www.idt.mdh.se

Language: English - Date: 2013-11-21 03:21:54
30Fuzzy logic / Logic / Mathematical logic / Mathematics / Fuzzy set / Fuzzy measure theory / Membership function / Ronald R. Yager / Rough set / Didier Dubois / Rudolf Kruse / Type-2 fuzzy sets and systems

IPMU 2016 session content SS05: Fuzzy Measures and Integrals Tu 21, 10:50 Tu 21, 11:10 Tu 21, 11:30

Add to Reading List

Source URL: is.ieis.tue.nl

Language: English - Date: 2016-06-14 05:34:33
UPDATE